Presburger arithmetic - PDFSEARCH.IO - Document Search Engine

Presburger arithmetic
Results: 26

#	Item
21	arXiv:1111.4405v1 [math.AG] 18 Nov[removed]TRANSFER PRINCIPLES FOR INTEGRABILITY AND BOUNDEDNESS CONDITIONS FOR MOTIVIC EXPONENTIAL FUNCTIONS RAF CLUCKERS, JULIA GORDON, AND IMMANUEL HALUPCZOK Add to Reading List Source URL: arxiv.org Language: English - Date: 2013-10-27 22:37:41 Fourier analysis Fourier transform Joseph Fourier Exponential function Function Presburger arithmetic Primitive recursive function Mathematical analysis Mathematics Functions and mappings
22	FMSD manuscript No. (will be inserted by the editor) Ranking Function Synthesis for Bit-Vector Relations Byron Cook · Daniel Kroening · Add to Reading List Source URL: www.winterstiger.at Language: English - Date: 2014-07-29 07:28:39 Linear algebra Logic in computer science Proof theory Functions and mappings Vector space Function Presburger arithmetic Linear programming Euclidean vector Mathematics Algebra Abstract algebra
23	Ranking Function Synthesis for Bit-Vector Relations? Byron Cook1 , Daniel Kroening2 , Philipp R¨ ummer2 , and 3 Christoph M. Wintersteiger Add to Reading List Source URL: www.winterstiger.at Language: English - Date: 2010-03-15 15:38:19 Elementary mathematics Logic in computer science Operations research Functions and mappings Presburger arithmetic Vector space Linear programming Function Polynomial Mathematics Algebra Linear algebra
24	Monadic Counting Does Not Suffice Steven Lindell, Haverford College Add to Reading List Source URL: www.haverford.edu Language: English - Date: 2012-03-28 11:42:09 Metalogic Predicate logic Semantics First-order logic Quantifier elimination Quantification Well-formed formula Constructible universe Presburger arithmetic Logic Mathematical logic Model theory
25	Arithmetic Decision Procedures: a simple introduction Michael Norrish Add to Reading List Source URL: users.cecs.anu.edu.au Language: English - Date: 2003-11-07 00:31:44 Model theory Quantification Complexity classes Predicate logic Quantifier elimination Presburger arithmetic Well-formed formula Arithmetical hierarchy Universal quantification Logic Mathematical logic Mathematics
26	PDF Document Add to Reading List Source URL: math.stanford.edu Language: English - Date: 2006-01-20 17:21:14 Model theory Real algebraic geometry Guggenheim Fellows Proof theory Metalogic Alfred Tarski Presburger arithmetic Existential theory of the reals Quantifier elimination Logic Mathematical logic Mathematics